range: use new GtkBoxGadget API instead of counting children
authorCosimo Cecchi <cosimoc@gnome.org>
Wed, 24 Feb 2016 20:01:07 +0000 (12:01 -0800)
committerCosimo Cecchi <cosimoc@gnome.org>
Mon, 29 Feb 2016 18:45:13 +0000 (10:45 -0800)
commit1d047f00977bdb3b7c94344466cb47ab4a764d82
tree615650d2ae215a0bcd6bb0f05ac8c8ee9862fb3d
parent6370d6cb2780350ed9e8638e375d560dc821b194
range: use new GtkBoxGadget API instead of counting children
gtk/gtkrange.c